Skip to content

Conversation

@addaleax
Copy link
Collaborator

@addaleax addaleax commented Dec 13, 2024

This just reduces operating costs by a bit, and the change is fairly straightforward.

@addaleax addaleax marked this pull request as ready for review December 13, 2024 19:54
@addaleax addaleax merged commit 7c26c7a into main Dec 16, 2024
154 of 156 checks passed
@addaleax addaleax deleted the 1915-dev branch December 16, 2024 15:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants